A Reverse Hex Solver

We present Solrex,an automated solver for the game of Reverse Hex.Reverse Hex, also known as Rex, or Misere Hex, is the variant of the game of Hex in which the player who joins her two sides loses the game. Solrex performs a mini-max search of the state space using Scalable Parallel Depth First Proof Number Search, enhanced by the pruning of inferior moves and the early detection of certain winning strategies. Solrex is implemented on the same code base as the Hex program Solver, and can solve arbitrary positions on board sizes up to 6x6, with the hardest position taking less than four hours on four threads.Comment: Presented at Computers and Games 2016 Leiden, International Conference on Computers and Games. Springer International Publishing, 201

Multilayered printed circuit boards inspected by X-ray laminography

Technique produces high resolution cross-sectional radiographs with close interplane spacing for inspecting multilayer boards to be used in providing circuitry routing and module structural support

Principles of Stakes Fairness in Sport

Fairness in sport is not just about assigning the top prizes to the worthiest competitors. It is also about the way the prize structure itself is organised. For many sporting competitions, although it may be acceptable for winners to receive more than losers, it can seem unfair for winners to take everything and for losers to get nothing. Yet this insight leaves unanswered some difficult questions about what stakes fairness requires and which principles of stakes fairness are appropriate for particular competitions. In this article I specify a range of different principles of stakes fairness (ten in total) that could regulate sporting competitions. I also put forward a theoretical method for pairing up appropriate principles of stakes fairness with given sporting competitions. Specifically, I argue that the underlying rationales for holding sporting competitions can provide useful guides for identifying appropriate principles of stakes fairness. I then seek to clarify and work through some of the implications of this method for a sample of real world controversies over sporting prize structures. I also attempt to refine the method in response to two possible objections from indeterminacy and relativism. Finally, I compare and contrast my conclusions with more general philosophical debates about justice

Efficient Trajectory Options Allocation for the Collaborative Trajectory Options Program

The Collaborative Trajectory Options Program (CTOP) is a Traffic Management Initiative (TMI) intended to control the air traffic flow rates at multiple specified Flow Constrained Areas (FCAs), where demand exceeds capacity. CTOP allows flight operators to submit the desired Trajectory Options Set (TOS) for each affected flight with associated Relative Trajectory Cost (RTC) for each option. CTOP then creates a feasible schedule that complies with capacity constraints by assigning affected flights with routes and departure delays in such a way as to minimize the total cost while maintaining equity across flight operators. The current version of CTOP implements a Ration-by-Schedule (RBS) scheme, which assigns the best available options to flights based on a First-Scheduled-First-Served heuristic. In the present study, an alternative flight scheduling approach is developed based on linear optimization. Results suggest that such an approach can significantly reduce flight delays, in the deterministic case, while maintaining equity as defined using a Max-Min fairness scheme

Radon measurements in underground workplaces in the Campus of the University of Alicante

Las medidas del gas radiactivo radón en lugares de trabajo subterráneos del Campus de la Universidad de Alicante fueron realizadas mediante dispositivos E-PERM® de corto plazo durante el invierno de 2010 y el verano de 2011. Las concentraciones de radón obtenidas muestran valores máximos de 73,8 Bq/m3 en invierno y 84,0 Bq/m3 en verano, así como una media aritmética de 30,3 Bq/m3. Aunque no se abordan concentraciones medias anuales, todos los resultados se encuentran por debajo de los valores recogidos en la Recomendación 90/143/EURATOM de la Comisión Europea relativa a la protección de la población contra los peligros de una exposición al radón en el interior de edificios así como los establecidos por la Instrucción IS-33 del Consejo de Seguridad Nuclear en lugares de trabajo, contribuyendo a la evaluación de la distribución de radón a nivel nacional y prestando atención a los problemas que este gas puede ocasionar en espacios subterráneos.Measurements of radioactive radon gas in underground workplaces in the Campus of the University of Alicante were performed using short period E-PERM® devices during the winter of 2010 and summer of 2011. The obtained radon concentrations show maximum values of 73.8 Bq/m3 in winter and 84.0 Bq/m3 in summer, and an arithmetic mean of 30.3 Bq/m3. Despite not considering annual mean concentrations, results are below those included in 90/143/Euratom European Commission Recommendation on the protection of the public against the dangers of radon exposure inside buildings, as well as those established by the Nuclear Security Council IS-33 Instruction in workplaces, contributing to the evaluation of the national distribution of radon and paying attention to radon problems in underground spaces.El presente trabajo ha sido elaborado bajo la concesión a su autora de una Ayuda de Posgrado para la Formación de Profesorado Universitario (FPU) del Programa Nacional de Formación de Recursos Humanos de Investigación, (referencia AP2010-2272) y es parte del Proyecto “Desarrollo y Validación de una Metodología de Clase Mundial para la Evaluación e Intercomparación del Nivel de Sostenibilidad en la Edificación” (referencia IPT-380000-2010-16), del Plan Nacional del I+D+I del Ministerio de Ciencia Innovación, financiado con fondos FEDER

An ex-post view of inequality of opportunity in France and its regions

This paper proposes an ex-post measure of inequality of opportunity in France and its regions by assessing the inequality between individuals exerting the same effort. To this end, we define a fair income that fulfils ex-post equality of opportunity requirements. Unfairness is measured by an unfair Gini based on the distance between the actual income and the fair income. Our findings reveal that the measures of ex-post inequality of opportunity largely vary across regions, and that this is due to di_erences in reward schemes and in the impact of the non responsibility factors of income. We find that most regions have actual incomes closer to fair incomes than to average income, excepted Ile de France where the actual income looks poorly related to effort variables. Finally, we find that income inequality and inequality of opportunity are positively correlated among regions

Galaxy And Mass Assembly (GAMA) blended spectra catalogue: strong galaxy-galaxy lens and occulting galaxy pair candidates

We present the catalogue of blended galaxy spectra from the Galaxy And Mass Assembly (GAMA) survey. These are cases where light from two galaxies are significantly detected in a single GAMA fibre. Galaxy pairs identified from their blended spectrum fall into two principal classes: they are either strong lenses, a passive galaxy lensing an emission-line galaxy; or occulting galaxies, serendipitous overlaps of two galaxies, of any type. Blended spectra can thus be used to reliably identify strong lenses for follow-up observations (high-resolution imaging) and occulting pairs, especially those that are a late-type partly obscuring an early-type galaxy which are of interest for the study of dust content of spiral and irregular galaxies. The GAMA survey setup and its AUTOZ automated redshift determination were used to identify candidate blended galaxy spectra from the cross-correlation peaks. We identify 280 blended spectra with a minimum velocity separation of 600 km s−1, of which 104 are lens pair candidates, 71 emission-line-passive pairs, 78 are pairs of emission-line galaxies and 27 are pairs of galaxies with passive spectra. We have visually inspected the candidates in the Sloan Digital Sky Survey (SDSS) and Kilo Degree Survey (KiDS) images. Many blended objects are ellipticals with blue fuzz (Ef in our classification). These latter ‘Ef’ classifications are candidates for possible strong lenses, massive ellipticals with an emission-line galaxy in one or more lensed images. The GAMA lens and occulting galaxy candidate samples are similar in size to those identified in the entire SDSS. This blended spectrum sample stands as a testament of the power of this highly complete, second-largest spectroscopic survey in existence and offers the possibility to expand e.g. strong gravitational lens surveys

Scalable Parallel DFPN Search

Abstract. We present Scalable Parallel Depth-First Proof Number Search, a new shared-memory parallel version of depth-first proof number search. Based on the serial DFPN 1+ε method of Pawlewicz and Lew, SPDFPN searches effectively even as the transposition table becomes almost full, and so can solve large prob-lems. To assign jobs to threads, SPDFPN uses proof and disproof numbers and two parameters. SPDFPN uses no domain-specific knowledge or heuristics, so it can be used in any domain. Our experiments show that SPDFPN scales well and performs well on hard problems. We tested SPDFPN on problems from the game of Hex. On a 24-core machine and a 4.2-hour single-thread task, parallel efficiency ranges from 0.8 on 4 threads to 0.74 on 16 threads. SPDFPN solved all previously intractable 9×9 Hex open-ing moves; the hardest opening took 111 days. Also, in 63 days, it solved one 10×10 Hex opening move. This is the first time a computer or human has solved a 10×10 Hex opening move.

Effects of work ability and health promoting interventions for women with musculoskeletal symptoms: A 9-month prospective study

<p>Abstract</p> <p>Background</p> <p>Women working in the public human service sector in 'overstrained' situations run the risk of musculoskeletal symptoms and long-term sick leave. In order to maintain the level of health and work ability and strengthen the potential resources for health, it is important that employees gain greater control over decisions and actions affecting their health – a process associated with the concept of self-efficacy. The aim of this study was to describe the effects of a self-efficacy intervention and an ergonomic education intervention for women with musculoskeletal symptoms, employed in the public sector.</p> <p>Methods</p> <p>The design of the study was a 9-month prospective study describing the effects of two interventions, a comprehensive self-efficacy intervention (<it>n </it>= 21) and an ergonomic education intervention (<it>n </it>= 21). Data were obtained by a self-report questionnaire on health- and work ability-related factors at baseline, and at ten weeks and nine months follow-up. Within-group differences over time were analysed.</p> <p>Results</p> <p>Over the time period studied there were small magnitudes of improvements within each group. Within the self-efficacy intervention group positive effects in perceived work ability were shown. The ergonomic education group showed increased positive beliefs about future work ability and a more frequent use of pain coping strategies.</p> <p>Conclusion</p> <p>Both interventions showed positive effects on women with musculoskeletal symptoms, but in different ways. Future research in this area should tailor interventions to participants' motivation and readiness to change.</p

Feedback Control of the National Airspace System

This paper proposes a general modeling framework adapted to the feedback control of traffic flows in Eulerian models of the National Airspace System. It is shown that the problems of scheduling and routing aircraft flows in the National Airspace System can be posed as the control of a network of queues with load-dependent service rates. Focus can then shift to developing techniques to ensure that the aircraft queues in each airspace sector, which are an indicator of the air traffic controller workloads, are kept small. This paper uses the proposed framework to develop control laws that help prepare the National Airspace System for fast recovery from a weather event, given a probabilistic forecast of capacities. In particular, the model includes the management of airport arrivals and departures subject to runway capacity constraints, which are highly sensitive to weather disruptions.National Science Foundation (U.S.) (Contract ECCS-0745237)United States. National Aeronautics and Space Administration (Contract NNA06CN24A